-
1 примитивно рекурсивно
Русско-английский научно-технический словарь Масловского > примитивно рекурсивно
-
2 примитивно-рекурсивно истинный
Mathematics: primitive recursively trueУниверсальный русско-английский словарь > примитивно-рекурсивно истинный
-
3 примитивно-рекурсивно истинный
Русско-английский научно-технический словарь Масловского > примитивно-рекурсивно истинный
-
4 частичноный рекурсивный
Русско-английский новый политехнический словарь > частичноный рекурсивный
-
5 рекурсивный
1. recursively2. recursiveРусско-английский словарь по информационным технологиям > рекурсивный
См. также в других словарях:
ПРИМИТИВНО РЕКУРСИВНАЯ ФУНКЦИЯ — функция от натуральных аргументов с натуральными значениями, к рую можно получить из простейших функций конечным числом операций суперпозиции и примитивной рекурсии. Поскольку исходные функции являются вычислимыми, а операторы суперпозиции и… … Математическая энциклопедия
АЛГОРИТМА СЛОЖНОСТЬ — описания величина, характеризующая длину описания алгоритма. В зависимости от точной концепции алгоритма А. с. описания уточняется по разному. Единого достаточно устоявшегося уточнения к настоящему моменту (1977) не существует. Ниже рассмотрены… … Математическая энциклопедия
Функция Аккермана — Функция Аккермана простой пример вычислимой функции, которая не является примитивно рекурсивной. Она принимает два неотрицательных целых числа в качестве параметров и возвращает натуральное число, обозначается . Эта функция растёт очень… … Википедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
рекурсивное определение — (от лат. recurso возвращаюсь) метод определения арифметической функции ?(у) или предиката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения: а + 0 = а, (1) а + b =(а+b) (2) В равенстве… … Словарь терминов логики
КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… … Математическая энциклопедия